On the Implementation of a Multiple Output Algorithm for Defeasible Argumentation

In a previous work we defined a recursive warrant semantics for Defeasible Logic Programming based on a general notion of collective conflict among arguments. The main feature of this recursive semantics is that an output of a program is a pair consisting of a set of warranted and a set of blocked formulas. A program may have multiple outputs in case of circular definitions of conflicts among arguments. In this paper we design an algorithm for computing each output and we provide an experimental evaluation of the algorithm based on two SAT encodings defined for the two main combinatorial subproblems that arise when computing warranted and blocked conclusions for each output.The authors acknowledge the Spanish projects ARINF (TIN2009-14704-C03-01), TASSAT (TIN2010-20967-C04-03) and EdeTRI (TIN2012-39348-C02-01).Peer Reviewe

On the implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers

In this paper we explain the design and preliminary implementation of a solver for the positive satisfiability problem of concepts in a fuzzy description logic over the infinite-valued product logic. This very solver also answers 1-satisfiability in quasi-witnessed models. The solver works by first performing a direct reduction of the problem to a satisfiability problem of a quantifier free boolean formula with non-linear real arithmetic properties, and secondly solves the resulting formula with an SMT solver. We show that the satisfiability problem for such formulas is still a very challenging problem for even the most advanced SMT solvers, and so it represents an interesting problem for the community working on the theory and practice of SMT solvers.Research partially funded by the Spanish MICINN projects ARINF (TIN2009-14704-C03-01/03) and TASSAT (TIN2010-20967-C04-01/03), MINECO project EdeTRI (TIN2012-39348-C02-01), Agreement Techologies (CONSOLIDER CSD 2007- 0022), Catalan Government (2009SGR-1433/34) and ESF project POST - UP II No. CZ.1.07/2.3.00/30.0041 that is co-financed by the European Social Fund and the state budget of the Czech Republic.Peer Reviewe

Genotype x dose of artificial insemination interaction for buck fertility

Ponencia publicada en ITEA, vol.104El objetivo de este trabajo fue estimar los parámetros genéticos de la fertilidad tras la IA con 3 tipos de dosis obtenidas de eyaculados de machos de la línea Caldes: 1) tipo 10: con 10 x 106 espermatozoides/ml y 24h de conservación en un diluyente comercial tipo A. 2) tipo 40: con 40 x 106 espermatozoides/ml y las mismas condiciones de conservación que las del tipo 10. 3) tipo X: dosis preparadas tras diluir los eyaculados con un diluyente comercial tipo B (1:5) siendo desconocida la concentración y sin periodo de conservación. Se realizaron 3,628 IA con dosis del tipo 10 sobre hembras cruzadas, 3,027 con dosis del tipo 40 y la misma población de hembras, y 5,779 con dosis del tipo X sobre hembras puras de la línea Caldes. La fertilidad tras la IA con dosis del tipo 10 (F10), 40 (F40) y X (FX) fue considerada un carácter distinto en cada caso, de tipo binario. Los datos se analizaron utilizando un modelo umbral tri-carácter. La estima de la media de la distribución marginal posterior (DMP) de F10 menos F40 fue de -0.13. Este resultado indica un claro efecto de la concentración sobre la fertilidad, que podría no ser lineal. Las medias de la DMP de F10 menos FX y F40 menos FX fueron -0.37 y -0.23, respectivamente, lo que indica que el efecto de las condiciones de conservación sobre la fertilidad podría ser más importante que el de la concentración ya que FX fue muy próxima a la fertilidad tras la MN y la concentración del tipo de dosis X sería en promedio de unos 50 x 106 espermatozoides/ml. Las heredabilidades parecen ser similares para F10 y F40 y ambas mayores que las correspondientes a la fertilidad tras la MN y a FX. La interacción del genotipo x concentración de la dosis de IA es prácticamente despreciable debido a que las varianzas genéticas fueron similares para F10 y F40 y a que su correlación genética fue próxima a 1. Sin embargo, la interacción podría ser de mayor importancia entre el genotipo y las condiciones de conservación.The aim of this research was to estimate genetic parameters of male fertility after AI with three different types of AI doses obtained from ejaculates of bucks belonging to the Caldes line: 1) type 10: doses with 10 x 106 spermatozoa/ml and a period of 24 h of storage at 18ºC in a saline extender A. 2) type 40: doses with 40 x 106 spermatozoa/ml and the same storage conditions as type 10. 3) type X, doses prepared with semen diluted (1:5) with a saline extender B, but with unknown sperm dosage and no storage period. 3,628 AI were performed with the type 10 doses using crossbred females, 3,027 with the type 40 doses and the same population of females, and 5,779 with the type X doses, using purebred M. Piles et al. ITEA (2008), Vol. 104 (2), 160-168 16 females from the Caldes line in a different farm. Fertility after AI with type 10 doses (F10), type 40 doses (F40) and type X doses (FX) was considered as three different binary traits. Data were analyzed under a three-trait threshold model. The mean of the marginal posterior distribution (MPD) for F10 minus F40 was estimated to be -0.13. This result indicates a clear effect of the sperm dosage on fertility, which could be non-linear. The mean of the MPD of F10 minus FX and F40 minus FX were respectively, -0.37 and -0.23 which indicates that the effect of the storage conditions on fertility could be even more important on fertility than sperm dosage, since FX was very close to fertility after NM and sperm dosage of this type of doses was in average lower than 50 x 106 spermatozoa/ml. Heritabilities seem to be similar for F10 and F40 and both of them could be higher than heritability of male fertility after NM and FX. Variance of the genotype x sperm dosage interaction was almost negligible since additive variances were similar for F10 and F40 and their genetic correlation was close to 1. However, this interaction could be more important between the genotype and the storage conditions

Dogs Detecting COVID-19 From Sweat and Saliva of Positive People : A Field Experience in Mexico

ContextMolecular tests are useful in detecting COVID-19, but they are expensive in developing countries. COVID-19-sniffing dogs are an alternative due to their reported sensitivity (>80%) and specificity (>90%). However, most of the published evidence is experimental, and there is a need to determine the performance of the dogs in field conditions. Hence, we aimed to test the sensitivity and specificity of COVID-19-sniffing dogs in the field. MethodsWe trained four dogs with sweat and three dogs with saliva of COVID-19-positive patients, respectively, for 4.5 months. The samples were obtained from a health center in Hermosillo, Sonora, with the restriction to spend 5 min per patient. We calculated sensitivity, specificity, and their 95% confidence intervals (CI). ResultsTwo sweat-sniffing dogs reached 76 and 80% sensitivity, with the 95% CI not overlapping the random value of 50%, and 75 and 88% specificity, with the 95% CI not overlapping the 50% value. The 95% CI of the sensitivity and specificity of the other two sweat dogs overlapped the 50% value. Two saliva-sniffing dogs had 70 and 78% sensitivity, and the 95% CI of their sensitivity and specificity did not overlap the 50% value. The 95% CI of the third dog's sensitivity and specificity overlapped the 50% value. ConclusionFour of the six dogs were able to detect positive samples of patients with COVID-19, with sensitivity and specificity values significantly different from random in the field. We considered the performance of the dogs promising because it is reasonable to expect that with gauze exposed for a longer time to sweat and saliva of people with COVID-19, their detection capacity would improve. The target is to reach the sensitivity range requested by the World Health Organization for the performance of an antigen test (>= 80% sensitivity, >= 97% specificity). If so, dogs could become important allies for the control of the COVID-19 pandemic, especially in developing countries.Peer reviewe

The CARMENES search for exoplanets around M dwarfs High-resolution optical and near-infrared spectroscopy of 324 survey stars

The CARMENES radial velocity (RV) survey is observing 324 M dwarfs to search for any orbiting planets. In this paper, we present the survey sample by publishing one CARMENES spectrum for each M dwarf. These spectra cover the wavelength range 520–1710 nm at a resolution of at least R >80 000, and we measure its RV, Hα emission, and projected rotation velocity. We present an atlas of high-resolution M-dwarf spectra and compare the spectra to atmospheric models. To quantify the RV precision that can be achieved in low-mass stars over the CARMENES wavelength range, we analyze our empirical information on the RV precision from more than 6500 observations. We compare our high-resolution M-dwarf spectra to atmospheric models where we determine the spectroscopic RV information content, Q, and signal-to-noise ratio. We find that for all M-type dwarfs, the highest RV precision can be reached in the wavelength range 700–900 nm. Observations at longer wavelengths are equally precise only at the very latest spectral types (M8 and M9). We demonstrate that in this spectroscopic range, the large amount of absorption features compensates for the intrinsic faintness of an M7 star. To reach an RV precision of 1 m s−1 in very low mass M dwarfs at longer wavelengths likely requires the use of a 10 m class telescope. For spectral types M6 and earlier, the combination of a red visual and a near-infrared spectrograph is ideal to search for low-mass planets and to distinguish between planets and stellar variability. At a 4 m class telescope, an instrument like CARMENES has the potential to push the RV precision well below the typical jitter level of 3–4 m s−1

A giant exoplanet orbiting a very-low-mass star challenges planet formation models

Surveys have shown that super-Earth and Neptune-mass exoplanets are more frequent than gas giants around low-mass stars, as predicted by the core accretion theory of planet formation. We report the discovery of a giant planet around the very-low-mass star GJ 3512, as determined by optical and near-infrared radial-velocity observations. The planet has a minimum mass of 0.46 Jupiter masses, very high for such a small host star, and an eccentric 204-day orbit. Dynamical models show that the high eccentricity is most likely due to planet-planet interactions. We use simulations to demonstrate that the GJ 3512 planetary system challenges generally accepted formation theories, and that it puts constraints on the planet accretion and migration rates. Disk instabilities may be more efficient in forming planets than previously thought

CARMENES: high-resolution spectra and precise radial velocities in the red and infrared

SPIE Astronomical Telescopes + Instrumentation (2018, Austin, Texas, United States

On the Characterization of the Maximal Ideal Recursive Semantics of RP-DeLP

Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming framework which combines features from argumentation theory and logic programming, in which defeasible rules are attached with weights expressing their relative belief or preference strength. In P-DeLP a conclusion succeeds if there exists an argument that entails the conclusion and this argument is found to be undefeated by a warrant procedure that systematically explores the universe of arguments in order to present an exhaustive synthesis of the relevant chains of pros and cons for the given conclusion. Recently, we have proposed a new warrant recursive semantics for P-DeLP, called Recursive P-DeLP (RP-DeLP for short), based on the claim that the acceptance of an argument should imply also the acceptance of all its subarguments which reflect the different premises on which the argument is based. In RP-DeLP, an output of a program is a pair of sets, a set of warranted and a set of blocked conclusions. Arguments for both warranted and blocked conclusions are recursively based on warranted conclusions but, while warranted conclusions do not generate any conflict with the set of already warranted conclusions and the strict part of program (information we take for granted they hold true), blocked conclusions do. Conclusions that are neither warranted nor blocked correspond to rejected conclusions. This paper explores the relationship between the exhaustive dialectical analysis based semantics of P-DeLP and the recursive based semantics of RP-DeLP, and analyzes a non-monotonic inference operator for RP-DeLP which models the expansion of a given program by adding new weighed facts associated with warranted conclusions.This research was partially supported by the Spanish projects EdeTRI (TIN2012-39348-C02-01) and AT (CONSOLIDER- INGENIO 2010, CSD2007-00022)Peer Reviewe